libretto-core
API
Generated with
libretto-core/libretto/libretto.scaletto/libretto.scaletto.impl/FreeScaletto/given_BiInjective_|*|

given_BiInjective_|*|

libretto.scaletto.impl.FreeScaletto.given_BiInjective_|*|
object given_BiInjective_|*| extends BiInjective[|*|]

Attributes

Graph
Supertypes
trait BiInjective[|*|]
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

override def unapply[A, B, X, Y](ev: ConcurrentPair[A, B] =:= ConcurrentPair[X, Y]): (A =:= X, B =:= Y)

Attributes

Definition Classes
BiInjective
Generated with